Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Gödel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Gödel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Gödel's texts on foundations with materials from Gödel's Nachlass and from Hao Wang's discussions with Gödel. He provides discussions of Gödel's views, and develops a new type of platonic (...) rationalism that requires rational intuition, called 'constituted platonism'. (shrink)

"Intuition" has perhaps been the least understood and the most abused term in philosophy. It is often the term used when one has no plausible explanation for the source of a given belief or opinion. According to some sceptics, it is understood only in terms of what it is not, and it is not any of the better understood means for acquiring knowledge. In mathematics the term has also unfortunately been used in this way. Thus, intuition is sometimes portrayed as (...) if it were the Third Eye, something only mathematical "mystics", like Ramanujan, possess. In mathematics the notion has also been used in a host of other senses: by "intuitive" one might mean informal, or non-rigourous, or visual, or holistic, or incomplete, or perhaps even convincing in spite of lack of proof. My aim in this book is to sweep all of this aside, to argue that there is a perfectly coherent, philosophically respectable notion of mathematical intuition according to which intuition is a condition necessary for mathemati cal knowledge. I shall argue that mathematical intuition is not any special or mysterious kind of faculty, and that it is possible to make progress in the philosophical analysis of this notion. This kind of undertaking has a precedent in the philosophy of Kant. While I shall be mostly developing ideas about intuition due to Edmund Husser! there will be a kind of Kantian argument underlying the entire book. (shrink)

Gödel's relation to the work of Plato, Leibniz, Kant, and Husserl is examined, and a new type of platonic rationalism that requires rational intuition, called ...

The thesis is a study of the notion of intuition in the foundations of mathematics which focuses on the case of natural numbers and hereditarily finite sets. Phenomenological considerations are brought to bear on some of the main objections that have been raised to this notion. ;Suppose that a person P knows that S only if S is true, P believes that S, and P's belief that S is produced by a process that gives evidence for it. On a phenomenological (...) view the relevant evidence is provided by intuition , and this should be the case in either ordinary perceptual knowledge or in mathematical knowledge. Intuition is to be understood in terms of fulfillments of intentions. Knowledge is a product of intuition and intention. In the case of mathematical knowledge it is said that there is a construction for a mathematical statement S if and only if the intention expressed by S is fulfilled . Constructions are thus viewed as intuition processes that could actually or possibly be carried out. In elementary parts of mathematics they might be characterized in terms of certain classes of recursive functions. This view is discussed in the case where S is taken to be a singular statement about natural numbers or finite sets, and also where S is taken to be a general statement about such objects. The distinction between intuition of and intuition that is also investigated in this context. ;It is pointed out how on a phenomenological view a number of central problems about mathematical intuition can be avoided: problems about the analogousness of perceptual and mathematical intuition, about causal accounts of knowledge in mathematics, and about structuralism in mathematics. The bearing of the account on issues concerning constructivism and platonism is also discussed. (shrink)